|
|
FFT implementation in FPGA and ASIC
Dvořák, Vojtěch ; Bohrn, Marek (referee) ; Fujcik, Lukáš (advisor)
The aim of this thesis is to design the implementation of fast Fourier transform algorithm, which can be used in FPGA or ASIC circuits. Implementation will be done in Matlab and then this form of implementation will be used as a reference model for implementation of fast Fourier transform algorithm in VHDL. To verify the correctness ofdesign verification enviroment will be created and verification process wil be done. Program that will generate source code for various parameters of the module performing a fast Fourier transform will be created in the last part of this thesis.
|
|
|
Test Planning Tool Extension for Distributed Systems
Mészáros, Filip ; Ráb, Jaroslav (referee) ; Ščuglík, František (advisor)
This bachelor thesis is about automatical software testing using the testing scheduler. It describes creation of the extension for the existing testing scheduler, so it will be possible to split effectively a group of tests to segments, that will be executed independently on each other. Tests are splitted according to the common characteristics of the enviroment, that need to be prepared for each test, and according to the dependencies between the tests. Furthermore, it describes what optimizations are used for splitting of the tests to subsets. Each subset of the tests runs on a standalone testing system, so the time needed for succesful completion of testing with the given set of tests is reduced. Created tool is succesfully used during everyday testing of the several products in the Acision company, to which was this tool made.
|
|
|
Functional Verification Framework for Multi Buses Following the UVM Standard
Beneš, Tomáš ; Šišmiš, Lukáš (referee) ; Kekely, Lukáš (advisor)
This thesis focus on the design and subsequent implementation of a multi-bus verification environment using the principles of the Universal Verification Methodology (UVM). It also focus on the implementation of the verification of three FPGA components using multi-bus as input and output interfaces. The implementation of the environment and all verifications is written in SystemVerilog language using a library that implement the basic constructs for UVM. The achieved results of the work are functional and easily reusable when creating further verifications using multi-bus. The proposed environments can be used as a structure for creating other verification environments for other buses.
|
|
|
Statistical inspection
Vyškovský, Jaroslav ; Fiala, Alois (referee) ; Pernikář, Jiří (advisor)
This work solving with the statistical inspection verification of big amounts of products imported to Czech Republic. Work it self is designed as general handbook and it will be possible to use it on other products then the model one. This work was elaborated with company which is importing screws for wood industry. We used common standards to define quality requirements of verificated products, and to design statistical inspection plans. The goal of this work is technical and economical evaluation of designed method, which was used on model product.
|
|
|
Biometry based on retinal videosequences
Oweis, Kamil ; Odstrčilík, Jan (referee) ; Kolář, Radim (advisor)
The biometric methods are the most advanced methods for recognition and verification of person identity. These methods are quite fast, safe and applicable in different situations. In this thesis is used a set of retinal scans taken with a video-ophtalmoscope. These pictures are further modified for next processing, first of all by convertion into black-andwhite binary image, in some cases was after that used a binary matrix for description of image. Afterwards was suggested comparison method of images from the database with reference image of the retina: method of overlap and shift. It was tested a set of blackand-white and then also grey images. All method calculations was realized in program Matlab of which outcome was determination of the most congruent image with reference image and evaluation of overall program accuracy.
|
|
|
Handwriting and Signature Verification
Beránek, Jan ; Řezníček, Ivo (referee) ; Španěl, Michal (advisor)
This paper concerns methods of verification of person's signature and handwriting. Some of commonly used techniques are resumed and described with related literature being referred. Next aim of this work is design and implementation of a simple handwriting verification application. Application is based on edge detection and comparison of a set of structural and statistical features. As a support classification tool a SVM classifier of the LIBSVM software is employed. The Application is written in C language using OpenCV graphics library. Testing and training set was extracted from samples found in the IAM Handwriting Database. Application was created and tested in the Windows XP operating system.
|
|
|
Concept of Fast Charging Station with Accumulation for Electric Vehicles
Miškovský, Ján ; Morávek, Jan (referee) ; Mastný, Petr (advisor)
Main purpose of the thesis is the creation of a concept a fast-charging station associated with accumulation that uses renewable source. The introduction of the thesis describes a standard that specifies the charge of electric vehicles using direct and alternating current as well. It depicts an overview of using charging connectors. The first part also deals with overview of the technology of renewable sources and exploitation energy storage system for charging station. The second part introduces the theoretical basement for mathematical model of the charging station in Matlab/Simulink. The function of model station is verified by a physical laboratory model. For options verification of the connection station to the distribution net is created simulation of voltage losses in Matlab/Simulink. The thesis shows four 24 hours’ scenarios that have been simulated. According to the assumptions of simulation, the technology of station and connecting component is suggested. Next is the designed energy and financial analysis of the project charging station until 2030.
|
|
|
Process a review of the specified electrical equipment
Lanc, Rudolf ; Mach, Martin (referee) ; Veselka, František (advisor)
The revision of the electrical equipment means verifying the state of the equipment concerning its safety. The aim of the Bachelor Thesis is the revision of the selected electrical equipment. The particular equipment will undergo a revision, measurements, supervisions, and tests, which are subject of the norms. A revision report will be issued as a result of the established facts, in which possible failures will be described. Further on eventual risks will be explained and techniques how to eliminate them proposed.
|
|
|
Data Structure Visualization for Verification Tools
Holubec, Michael ; Lengál, Ondřej (referee) ; Peringer, Petr (advisor)
The aim of my bachelor thesis is an object-oriented design and implementation of a library which will provide a unified interface to a verification tool Predator and other tools for making a vizualization of data structures primarily for debuging purposes. This work analyses some qualities of the verification tool Predator, Forester and CPAchecker. The library offers not only a graphic but also a text-based output in DOT language. The result has been tested by connecting to the verification tool Predator.
|
|
|
Test Driven Development for FPGA Designs
Halász, Dávid ; Strnadel, Josef (referee) ; Šimek, Václav (advisor)
Tato bakalářská práce popisuje, jak může být princip TDD uplatněn u hardware, převážně pro vývoj FPGA. Je popsána důležitá teorie pro pochopení kontextu. Na referenčním návrhu jsou představeny některé dostupné a užitečné verifikační nástroje. Jeden z těchto nástrojů byl vybrán a pomocí TDD byl vytvořen a úspěšně otestován návrh komunikačního modulu SPI.
|
guest ::
